581. Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings
پدیدآورنده : Toby Walsh )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2239
582. Principles and practice of constraint programming : second international workshop, PPCP'94 Rosario, Orcas Island, WA, USA, May 2 - 4, 1994 : proceedings
پدیدآورنده : Alan Borning )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
874
583. Principles and practice of constraint programming : 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004 : proceedings
پدیدآورنده : Mark Wallace )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3258
584. Proceedings
پدیدآورنده :
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
585. Proceedings : ACM 2003 Symposium on Software Visualization : San Diego, California, USA, June 11-13, 2003
پدیدآورنده : Symposium chair, Stephan Diehl; program chair, John T. Stasko; sponsored by ACN SIGCHI...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Visual programming )Computer science(,Congresses ، Computer software
رده :
QA
76
.
65
.
A258
2003
586. Proceedings : COMPSAC ... the IEEE Computer Society's ... International Computer Software & Applications Conference
پدیدآورنده : COMPSAC
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Congresses,، Computer software-- Congresses
رده :
QA
76
.
6
.
C6296a
587. Proceedings: COMPSAC 92 the Sixteenth Annual International Computer Softwre & Applications Conference, September 21- 25, 1992 Chicago, Illinois
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming- Congresses,، Electronic data processing Congresses,، Computer Software- Congresses
588. Proceedings Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, November 18-20, 1999, Monterey, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Distributed Processing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Object-oriented databases,Congresses ، Real-time data processing
رده :
QA
76
.
64
.
W67
1999
589. Proceedings : IEEE Symposium on Visual Languages, October 4-7, 1994, St. Louis, Missouri
پدیدآورنده : edited by Allen L. Ambler, Takayuki Dan Kimura; sponsord by IEEE Computer Society, Technical Committe on Multimedia Computing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Visual programming languages )Computer science( - Congresses
رده :
QA
76
.
65
.
I33
1994
590. Proceedings 10: October 8-10, 1986, the Americana Congress Hotel, Chicago, Illinois
پدیدآورنده : COMPSAC'68 )6891 : Chicago,III.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer networks-- Congresses,، Robots, Industrial-- Congresses
رده :
QA
76
.
6
.
C6295
1986
591. Proceedings, SOFTVIS 06 : ACM Symposium on Software Visualization : Brighton, United Kingdom, September 04-05, 2006
پدیدآورنده : program co-chairs, Margaret Burnett, Stephan Diehl; symposium chair, Eileen Kraemer; proceedings production editor, Stephen N. Spencer; sponsored by ACM SIGCHI... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Visual programming )Computer science(,Congresses ، Computer software
رده :
QA
76
.
65
.
A258
2006
592. Proceedings : SoftVis '05 : ACM Symposium on Software Visualization, St. Louis, Missouri, May 14-15, 2005
پدیدآورنده : Program Co-Chairs, Tom Naps, Wim De Pauw; symposium chair, Steven P. Reiss ; proceedings production editor, Stephen N. Spencer; sponsored by ACM SIGCHI...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Visual programming )Computer science(,Congresses ، Computer software
رده :
QA
76
.
65
.
A258
2005
593. Proceedings ... Symposium on Computer Arithmetic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Computer arithmetic,Congresses ، Computer programming,Congresses ، Floating-point arithmetic,Congresses ، Computer arithmetic and logic units
رده :
QA
76
.
9
.
C62
.
S95a
594. Proceedings of Tenth ACM Symposium on Access Control Models and Technologies : SACMAT 2005, June 1-3, 2005, Stockholm, Sweden
پدیدآورنده : sponsored by ACM SIGSAC
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computers -- Access control,Congresses ، Computer security,Congresses ، Computer networks
رده :
QA
76
.
6
.
A29
2005
595. Proceedings of 39th international conference and exhibition on technology of object- Oriented languages and systems tools 39, 29 July- 3 August
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Object- Oriented programming )computer science(- Congresses
رده :
QA
76
.
64
.
I56
2001
596. Proceedings of the 2002 ACM SIGPLAN Haskell Workshop )Haskell'02( : Pittsburgh, Pennsylvania, USA October 3, 2002
پدیدآورنده : Sponsored by the Association for Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Haskell )Computer program language(,، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
H37A25
2002
597. Proceedings of the 2005 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming : PPoPP'05, June 15-17, 2005, Chicago, Illinois, USA
پدیدآورنده : sponsored by ACM SIGPLAN
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Computer programming
رده :
QA
76
.
642
.
P68
2005
598. Proceedings of the 2006 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming : PPoPP'06, March 29-31, 2006, New York, New York, USA
پدیدآورنده : sponsored by ACM SIGPLAN
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Computer programming
رده :
QA
76
.
642
.
P68
2006
599. Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming : PPoPP'07, March 14-17, 2007, San Jose, California, USA
پدیدآورنده : sponsored by ACM SIGPLAN
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Computer programming
رده :
QA
76
.
642
.
P68
2007
600. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy
پدیدآورنده : Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2004
